проблема тождества слов

См. также в других словарях:

• ТОЖДЕСТВА ПРОБЛЕМА — алгоритмическая проблема распознавания равенства (тождества) слов в алгебраич. системе ( группе, подгруппе и др.) с заданной образующей и определяющими соотношениями …   Математическая энциклопедия

• БЁРНСАЙДА ПРОБЛЕМА — 1) Б …   Математическая энциклопедия

• АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… …   Математическая энциклопедия

• ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

• АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

• Слово — Слово  основная структурно семантическая единица языка, служащая для именования предметов и их свойств, явлений, отношений действительности, обладающая совокупностью семантических, фонетических и грамматических признаков, специфичных для каждого… …   Лингвистический энциклопедический словарь

• ТОЖДЕСТВО —         понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… …   Философская энциклопедия

• АССОЦИАТИВНОЕ ИСЧИСЛЕНИЕ — название, установившееся за исчислениями нек рого точно охарактеризованного типа, хорошо приспособленными для задания конечно определенных ассоциативных систем ( полугрупп). Термин А. и. введен А. А. Марковым. Им же было осуществлено построение… …   Математическая энциклопедия

• А=А — формула, выражающая принцип тождества в формальной логике; читается: А есть А , А тождественно А , А равно А , А есть то же самое, что А , А эквивалентно А . Различают онтологический и логич. аспекты принципа А = А. Онтологич. аспект означает… …   Философская энциклопедия

• АЛГОРИТМОВ ТЕОРИЯ — раздел математики, изучающий общие свойства алгоритмов. Содержательные явления, приведшие к образованию понятия алгоритм , прослеживаются в математике в течение всего времени ее существования. Однако само это понятие сформировалось лишь в 20 в. и …   Математическая энциклопедия

• ГРУППОВОЕ ИСЧИСЛЕНИЕ — ассоциативное исчисление, в к ром эффективным образом выполнено естественное групповое требование существования обратной операции. Именно, ассоциативное исчисление наз. Г. и. (см. [1], с. 341), если для него может быть построен инвертирующий… …   Математическая энциклопедия